ja 真部分集合 (n)
― Synonym ⟶
Weight: 2.0
en proper subset Source: JMDict 1.07